21. A text book of Theory of Machines
پدیدآورنده : R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
22. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگره‌ها,نظریه ماشین -- کنگره‌ها,فراگیری ماشینی
رده :
E-Book
,
23. Abstract automata
پدیدآورنده : Starke, Peter H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory
رده :
QA
267
.
S6913
24. Abstract automata
پدیدآورنده : [by] Peter H. Starke, [translated from the German by I. Shepherd]
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Machine theory
رده :
QA
,
267
,.
S6913
25. Abstract computing machines :
پدیدآورنده : / W. Kluge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory,Lambda calculus
رده :
E-BOOK
26. Abstract machine models for highly parallel computers
پدیدآورنده : edited by John R. Davy and Peter M. Dew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel computers , Machine theory
رده :
QA
76
.
58
.
A22
1995
27. Abstract machine models for parallel and distributed computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel computers,، Electronic data processing-- Distributed processing,، Machine theory
رده :
QA
76
.
58
.
A27
196
28. Abstract machine models for parallel and distributed computing
پدیدآورنده : edited by M. Kara... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
A38
1996
29. Abstract machines and grammars
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ;
30. Abstract state machines 2003 :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
31. Abstract state machines :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ;
32. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
33. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
34. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
35. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
36. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
37. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
38. Adaptive information processing : an introductory survey
پدیدآورنده : Sampson, Jeffrey R
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
رده :
QA
267
.
S25
39. Adaptive information processing: an introductory survey
پدیدآورنده : Sampson, Jeffrey R. 2491-
موضوع : ، Machine theory,، Information theory in biology,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
40. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS
پدیدآورنده : Sunggu Lee
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
رده :
TK
,
7868
,
L6L44
,
2006
